Merge branch 'popup-controls-hiding' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Tue, 28 Apr 2020 22:41:16 +0000 (22:41 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Tue, 28 Apr 2020 22:41:16 +0000 (22:41 +0000)
commit5ec53e6a11325a80bc9c6b9236fb8b09ef3c53df
treefb95b4acb2c37db8e1512c679b0d734cffa947e8
parent3fee02808ba5cc8a2734133c7f41d8d26e9aa161
parentdc7081599d2a2d99787fd6b5dabb633c74453c77
Merge branch 'popup-controls-hiding' into 'master'

video: Don't hide the controls while the popup is shown

See merge request GNOME/gtk!1787